<body>
Sequence model used to represent program execution history.  The following
diagram illustrates the interface relationships:
<p>
<img src="../../../../../resources/sequence.png">
</body>